Merging Rules: Preliminary Version

نویسندگان

  • Richard Booth
  • Souhila Kaci
  • Leendert van der Torre
چکیده

In this paper we consider the merging of rules or conditionals. In contrast to other approaches, we do not invent a new approach from scratch, for one particular kind of rule, but we are interested in ways to generalize existing revision and merging operators from belief merging to rule merging. First, we study ways to merge rules based on only a notion of consistency of a set of rules, and illustrate this approach using a consolidation operator of Booth and Richter. Second, we consider ways to merge rules based on a notion of implication among rules, and we illustrate this approach using socalled min and max merging operators defined using possibilistic logic.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Procedure Governing the Crimes of Legal Persons in the Preliminary Investigation Stage in Iranian and French Law

Article 143 of the Islamic Penal Code has anticipated criminal liability of legal persons. Since investigation of the crimes committed by these persons requires the existence of a criminal procedure relative to their nature, following the French law, the Code of Criminal Procedure has established rules by allocating a separate section. The specific provisions codified by the legislator in the C...

متن کامل

Abstract Termination of Linear Rewriting Systems* -preliminary Version

TERMINATION OF LINEAR REWRITING SYSTEMS* preliminary version Nachum Dershowitz Department of Computer Science University of Illinois Urbana, Illinois 61801 U.S.A. Limitations, such as right-linearity, on the form of rules in a termrewriting system are shown to restrict the class of derivations that must be considered when determining whether or not the system terminates for all inputs. These re...

متن کامل

Task Merging and Replication using Graph Rewriting

Several approaches for handling the multi-processor scheduling problem have been presented over the last decades, such as scheduling techniques, clustering techniques and task merging techniques. However, the increasing gap between processor speed and communication speed demand more accurate models of parallel computation and efficient algorithms to work under the restrictions of these models. ...

متن کامل

New Techniques for Merging Text Versions

Versioning helps users to keep track of different sets of edits on a document. Version merging methods enable users to determine which parts of which version they wish to include in the next or final version. We explored several existing and two new methods (highlighting and overlay) in single and multiple window settings. We present the results of our quantitative user studies, which show that...

متن کامل

Quantum deduction rules (preliminary version)

We define propositional quantum Frege proof systems and compare it with classical Frege proof systems.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006